Electricity in mining